Block sensitivity of minterm-transitive functions

نویسنده

  • Andrew Drucker
چکیده

Boolean functions with symmetry properties are interesting from a complexity theory perspective; extensive research has shown that these functions, if nonconstant, must have high ‘complexity’ according to various measures. In recent work of this type, Sun gave bounds on the block sensitivity of nonconstant Boolean functions invariant under a transitive permutation group. Sun showed that all such functions satisfy bs(f) = Ω(N1/3), and that there exists such a function for which bs(f) = O(N3/7 lnN). His example function belongs to a subclass of transitively invariant functions called the minterm-transitive functions (defined in earlier work by Chakraborty). We extend these results in two ways. First, we show that nonconstant mintermtransitive functions satisfy bs(f) = Ω(N3/7). Thus Sun’s example function has nearly minimal block sensitivity for this subclass. Second, we give an improved example: a minterm-transitive function for which bs(f) = O(N3/7 ln N).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Block Sensitivity of Weakly Symmetric Functions

Block sensitivity, which was introduced by Nisan [5], is one of the most useful measures of boolean functions. In this paper we investigate the block sensitivity of weakly symmetric functions (functions invariant under some transitive group action). We prove a Ω(N) lower bound for the block sensitivity of weakly symmetric functions. We also construct a weakly symmetric function which has block ...

متن کامل

Fuzzy number-valued fuzzy ‎relation

It is well known fact that binary relations are generalized mathematical functions. Contrary to functions from domain to range, binary relations may assign to each element of domain two or more elements of range. Some basic operations on functions such as the inverse and composition are applicable to binary relations as well. Depending on the domain or range or both are fuzzy value fuzzy set, i...

متن کامل

A Novel Essential Prime Implicant Identification Method for Exact Direct Cover Logic Minimization

Most of the direct-cover Boolean minimization techniques use a four step cyclic algorithm. First, the algorithm chooses an On-minterm; second, it generates the set of prime implicants that covers the chosen minterm; third, it identifies the essential prime implicant; and fourth, it performs a covering operation. In this study, we focus on the third step and propose a new essential prime implica...

متن کامل

Boolean functions with a vertex-transitive group of automorphisms

A Boolean function is called vertex-transitive, if the partition of the Boolean cube into the preimage of 0 and the preimage of 1 is invariant under a vertex-transitive group of isometric transformations of the Boolean cube. The logarithm of the number of the vertex-transitive functions of n variables is at least Ω(n) and at most O(n logn). There is a polynomial over F2 of any given degree, whi...

متن کامل

Block - Transitive 2 - ( v , k , 1 ) Designs and Groups E 6 ( q ) Guang

This article is a contribution to the study of block-transitive automorphism groups of 2-(v, k, 1) block designs. Let D be a 2-(v, k, 1) design admitting a block-transitive, pointprimitive but not flag-transitive automorphism group G. Let kr = (k, v − 1) and q = p f for prime p. In this paper we prove that if G and D are as above and q > (3(krk − kr + 1)f) , then G does not admit a simple group...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 412  شماره 

صفحات  -

تاریخ انتشار 2011